Automorphisms of the truth-table degrees are fixed on some cone
نویسنده
چکیده
Let Dtt denote the set of truth-table degrees. A bijection π : Dtt → Dtt is an automorphism if for all truth-table degrees x and y we have x ≤tt y ⇔ π(x) ≤tt π(y). We say an automorphism π is fixed on some cone if there is a degree b such that for all x ≥tt b we have π(x) = x. We first prove that for every 2-generic real X we have X ′ 6≤tt X ⊕ 0 ′. We next prove that for every real X ≥tt 0 ′ there is a real Y such that Y ⊕ 0′ ≡tt Y ′ ≡tt X. Finally, we use this to demonstrate that every automorphism of the truth-table degrees is fixed on some cone.
منابع مشابه
Automorphisms of the truth-table degrees are fixed on a cone
Let Dtt denote the set of truth-table degrees. A bijection π : Dtt → Dtt is an automorphism if for all truth-table degrees x and y we have x ≤tt y ⇔ π(x) ≤tt π(y). We say an automorphism π is fixed on a cone if there is a degree b such that for all x ≥tt b we have π(x) = x. We first prove that for every 2-generic real X we have X ′ 6≤tt X ⊕ 0 . We next prove that for every real X ≥tt 0 ′ there ...
متن کاملA Rigid Cone in the Truth-Table Degrees with Jump
The automorphism group of the truth-table degrees with order and jump is fixed on the set of degrees above the fourth jump, 0.
متن کاملAutomorphism Group of a Possible 2-(121, 16, 2) Symmetric Design
Let D be a symmetric 2-(121, 16, 2) design with the automorphism group of Aut(D). In this paper the order of automorphism of prime order of Aut(D) is studied, and some results are obtained about the number of fixed points of these automorphisms. Also we will show that |Aut(D)|=2p 3q 5r 7s 11t 13u, where p, q, r, s, t and u are non-negative integers such that r, s, t, u ? 1. In addition we prese...
متن کاملHypersimplicity and semicomputability in the weak truth table degrees
We study the classes of hypersimple and semicomputable sets as well as their intersection in the weak truth table degrees. We construct degrees that are not bounded by hypersimple degrees outside any non-trivial upper cone of Turing degrees and show that the hypersimple-free c.e. wtt degrees are downwards dense in the c.e. wtt degrees. Moreover, we consider the sets that are both hypersimple an...
متن کاملOn some open problems in cone metric space over Banach algebra
In this paper we prove an analogue of Banach and Kannan fixed point theorems by generalizing the Lipschitz constat $k$, in generalized Lipschitz mapping on cone metric space over Banach algebra, which are answers for the open problems proposed by Sastry et al, [K. P. R. Sastry, G. A. Naidu, T. Bakeshie, Fixed point theorems in cone metric spaces with Banach algebra cones, Int. J. of Math. Sci. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008